derivative of double up arrows